KCL provides a # macro ` #$ ' that reads a random state. #$integer is equivalent to (make-random-state integer) . The same format is used when a random state is printed.